منابع مشابه
Loop Coproducts
In this paper we show that if A is a Poisson algebra equipped with a set of maps ∆ (i) λ : A → A ⊗ N satisfying suitable conditions, then the images of the Casimir functions of A under the maps ∆ (i) λ (that we call " loop coproducts ") are in involution. Rational, trigonometric and elliptic Gaudin models can be recovered as particular cases of this result, and we show that the same happens for...
متن کاملSubpullbacks and coproducts of $S$-posets
In 2001, S. Bulman-Fleming et al. initiated the study of three flatness properties (weakly kernel flat, principally weakly kernel flat, translation kernel flat) of right acts $A_{S}$ over a monoid $S$ that can be described by means of when the functor $A_{S} otimes -$ preserves pullbacks. In this paper, we extend these results to $S$-posets and present equivalent descriptions of weakly kernel p...
متن کامل-Equality for Coproducts
Recently several researchers have investigated-equality for the simply typed-calculus with exponentials, products and unit types. In these works,-conversion was interpreted as an expansion with syntactic restrictions imposed to prevent the expansion of introduction terms or terms which form the major premise of elimination rules. The resulting rewrite relation was shown connuent and strongly no...
متن کاملProducts and Coproducts in Categories
A product and coproduct in categories are introduced. The concepts included correspond to that presented in 7]. and 6] provide the notation and terminology for this paper.
متن کاملCoproducts and the cd-Index
The linear span of isomorphism classes of posets, P, has a Newtonian coalgebra structure. We observe that the ab-index is a Newtonian coalgebra map from the vector space P to the algebra of polynomials in the non-commutative variables a and b. This enables us to obtain explicit formulas showing how the cd-index of the face lattice of a convex polytope changes when taking the pyramid and the pri...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Computer and System Sciences
سال: 1973
ISSN: 0022-0000
DOI: 10.1016/s0022-0000(73)80009-1